A semantic virtual machine
نویسندگان
چکیده
A semantic virtual machine (SVM) is a variant of a programable register machine that combines the transparency and simplicity of the action of a Turing machine with a clearly arranged assembler-style programming language and a user-friendly representation of semantic information. This paper describes the concept of the SVM, its memory management and flow control, and shows how a semantic virtual machine can simulate any ordinary Turing machine. Analogous to a universal Turing machine, we give a universal semantic virtual machine (USVM), which is a special SVM that can simulate every SVM. The USVM serves both as a self-contained semantic explanation of many aspects of the SVM, and as a check that an SVM implementation works correctly.
منابع مشابه
A combination of semantic and attribute-based access control model for virtual organizations
A Virtual Organization (VO) consists of some real organizations with common interests, which aims to provide inter organizational associations to reach some common goals by sharing their resources with each other. Providing security mechanisms, and especially a suitable access control mechanism, which enforces the defined security policy is a necessary requirement in VOs. Since VO is a complex ...
متن کاملTransparently bridging semantic gap in CPU management for virtualized environments
Consolidated environments are progressively accommodating diverse and unpredictable workloads in conjunctionwith virtual desktop infrastructure and cloud computing. Unpredictableworkloads, however, aggravate the semantic gap between the virtual machine monitor and guest operating systems, leading to inefficient resource management. In particular, CPU management for virtual machines has a critic...
متن کاملAnalytical evaluation of an innovative decision-making algorithm for VM live migration
In order to achieve the virtual machines live migration, the two "pre-copy" and "post-copy" strategies are presented. Each of these strategies, depending on the operating conditions of the machine, may perform better than the other. In this article, a new algorithm is presented that automatically decides how the virtual machine live migration takes place. In this approach, the virtual machine m...
متن کاملThe RDF Virtual Machine
The Resource Description Framework (RDF) is a semantic network data model that is used to create machineunderstandable descriptions of the world and is the basis of the Semantic Web. This article discusses the application of RDF to the representation of computer software and virtual computing machines. The Semantic Web is posited as not only a web of data, but also as a web of programs and proc...
متن کاملAn Implementation of a Semantic, Web-Based Virtual Machine Laboratory Prototyping Environment
Creation of virtual machine laboratories – simulated planning and learning environments demonstrating function and structure of working machines – often involve a lot of manual labor. A notable source of the labor is the programming required due to changes in structural and functional models of a system. As a result, rapid prototyping of a virtual machine laboratory becomes difficult, if not im...
متن کامل